λββ∪(∀p*P)@ α ∂h↑¬@∨@λ␈c␈f⊂¬FAI⊂ Vhα[ Vhα[ Vh↓⊃`$8↓⊃`$8↓⊃`$8↓⊃`$8↓⊃`$8↓⊃`"`↓"`↓2↓H@↓⊗"`↓H∃p@⊂@⊂@⊂@⊂@⊂@⊂¬b↓⊂λ∧↔a~_∧@!~_∧hp@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@)X@⊂@&p↓≠P@⊂@⊂@2↓&`)X@⊂@⊂↓⊂P@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂↓:$0↓π@&x↓⊃@&x↓≠`+@↓	@ ⊂↓∩`"0↓∩`$X@⊂⎇